Slot Models for Schedulers Enhanced by Planning Capabilities
نویسنده
چکیده
Scheduling is one of the most successful application areas of constraint programming and, recently, many scheduling problems were modelled and solved by means of constraints. Most of these models confine to a conventional formulation of a constraint satisfaction problem that requires all the variables and the constraints to be specified in advance. However, many application areas like complex process environments require a dynamic model where new activities are introduced during scheduling. In the paper we propose a framework for constraint modelling of dynamic scheduling problems with activities generated during scheduling. We also show how some typical scheduling sub-problems like alternatives, set-ups and processing of byproducts can be modelled in this framework.
منابع مشابه
Dynamic Constraint Models for Planning and Scheduling Problems
Planning and scheduling attracts an unceasing attention of computer science community. However, despite of similar character of both tasks, in most current systems planning and scheduling problems are solved independently using different methods. Recent development of Constraint Programming brings a new breeze to these areas. It allows using the same techniques for modelling planning and schedu...
متن کاملVisopt ShopFloor: Going Beyond Traditional Scheduling
Visopt ShopFloor is a generic scheduling system for solving complex scheduling problems. It differentiates from traditional schedulers by offering some planning capabilities. In particular, the activities to achieve the goal are planned dynamically during scheduling. In the paper, we give a motivation for the integration of planning and scheduling and we describe how such integration is realise...
متن کاملکنترل و کاهش آب شستگی موضعی در پایههای پل با مقاطع مستطیلی گرد گوشه با استفاده از شکاف
The use of slot through a pier is a new method proposed to control local scour at bridge piers. In this study, control of local scour at bridge pier is studied using 20 pier models under clear water conditions. The models consist of one circular pier without slot, three round-nosed piers without slot, and 16 piers with slot. Two slot lengths were chosen (yl=b and yl=2b, where y1 is the length o...
متن کاملOverflow Control Mechanism (OCM) for Ethernet Passive Optical Networks (EPONs)
1— The non-fragmentable nature of Ethernet data frames, as well as operation of the priority oriented packet schedulers in the Optical Network Units (ONUs) along with heavy network load conditions and the lack of detailed knowledge about the queues composition at the Optical Line Terminal (OLT) level, result in the creation of upstream channel slot remainders. Non-preemptive packet schedulers a...
متن کاملLearning Markov Decision Processes for Model Checking
Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed for automatically learning system models based on observed system behaviors. In this paper we extend the algorithm on learning probabilistic automata to reactive systems, where the observed system behavior is in the f...
متن کامل